Adaptive Testing of Non - Deterministic Communica - tion
نویسندگان
چکیده
A new approach to testing protocols in which both the speciication and the implementation exhibit non-determinism is described. Test sequences are generated by an adaptive tester, which executes in parallel with the implementation under test (IUT). The adap-tive tester attempts to determine a posteriori which non-deterministic choice the IUT has made, and uses this information to decide how to proceed. To achieve this, the diierent alternatives at each non-deterministic state are characterized by Transition Distinguishing Sequence Sets (TDSS), which can be generated in a preprocessing phase.
منابع مشابه
A control perspective on communication using chaotic systems
Secure communication using chaotic systems is consid ered from a control point of view It is shown that a synchronization based scheme for secure communica tion described in the literature may in fact be inter preted as an adaptive identi cation scheme Two ex amples where the existing scheme fails to achieve the reconstruction of an encoded message are treated using adaptive identi cation techn...
متن کاملScheduling Hard and Soft Real-time Communica- Tion in the Controller Area Network (can)
The paper introduces a mechanism to implement distributed scheduling for CAN-bus resource in order to meet the requirements of a dynamic distributed real-time system. The key issues considered here, are multicasting, distinguishing between hard real-time, soft real-time, and non real-time constraints, achieving high resource utilization for CAN-bus, and supporting dynamic hard real-time computi...
متن کاملGenerating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine
This paper considers the problem of testing a deterministic system against a non-deterministic finite-state machine. An adaptive test process, with two phases, is proposed. The paper focuses on the first stage which involves testing to generate a candidate deterministic finite-state machine. This candidate has the property that, under the test hypotheses used, the implementation is correct if a...
متن کاملDistinguing Non-deterministic Timed Finite State Machines
Conformance testing with the guaranteed fault coverage is based on distinguishing faulty system implementations from the corresponding system specification. We consider timed systems modeled by timed possibly nondeterministic finite state machines (TFSMs) and propose algorithms for distinguishing two TFSMs. In particular, we present a preset algorithm for separating two separable TFSMs and an a...
متن کاملRecognizing and Interpreting Gestures within the Context of an Intelligent Robot Control Architecture
In this paper we describe a stereo vision system that can recognize natural gestures and an intelligent robot control architecture that can interpret these gestures in the context of a task The intelligent control archi tecture consists of three layers The top layer delib erates via a state based hierarchical non linear plan ner The bottom layer consists of a suite of reactive skills that can b...
متن کامل